try harder to fix contious release tags. (#737)

diff --git a/tools/uploadtool/upload_github.sh b/tools/uploadtool/upload_github.sh
index 751f07e980f66892ffa9d3e3dc3bdc24da3e708e..dcec6f2fc304be63657962e9107f1ba9d6b3c67e 100755 (executable)
--- a/tools/uploadtool/upload_github.sh
+++ b/tools/uploadtool/upload_github.sh
@@ -92,7 +92,7 @@ if [ "{$GITHUB_SHA}" != "$target_commit_sha" ] ; then
         "${delete_url}"
   fi
 
-  if [ "$(expr "$RELEASE_NAME" : '.*\(continuous\)')" == "continuous" ] ; then
+  if [ "$(expr "$RELEASE_NAME" : '.*[Cc]\(ontinuous\).*')" == "ontinuous" ] ; then
     # if this is a continuous build tag, then delete the old tag
     # in preparation for the new release
     echo "Delete the tag..."